use Properties file for Extended Choice parameters in Jenkins